Axel Legay: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

Springer-Verlag Berlin Heidelberg

Saddek Bensalem, Yassine Lakhneck, Axel Legay (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 7.58 MB

0 / 0

english, 2014

2

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Springer International Publishing

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

সাল:

2019

ভাষা:

english

ফাইল:

PDF, 12.33 MB

0 / 0

english, 2019

3

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Springer International Publishing

Cyrille Artho, Axel Legay, Doron Peled (eds.)

সাল:

2016

ভাষা:

english

ফাইল:

PDF, 12.70 MB

0 / 0

english, 2016

4

Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Springer International Publishing

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.)

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 14.52 MB

0 / 0

english, 2017

5

Risks and Security of Internet and Systems

Risks and Security of Internet and Systems

Springer International Publishing

Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro

সাল:

2018

ভাষা:

english

ফাইল:

PDF, 14.53 MB

0 / 0

english, 2018

6

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Springer International Publishing

Axel Legay, Marius Bozga (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 5.63 MB

0 / 0

english, 2014

7

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Springer International Publishing

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 7.53 MB

0 / 0

english, 2013

8

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 25.98 MB

0 / 0

english, 2017

9

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 22.98 MB

0 / 0

english, 2017

10

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Springer-Verlag Berlin Heidelberg

Axel Legay, Tiziana Margaria (eds.)

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 16.70 MB

0 / 0

english, 2017

11

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Springer International Publishing

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 5.47 MB

0 / 0

english, 2013

12

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

Springer-Verlag Berlin Heidelberg

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens (auth.), Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 7.32 MB

0 / 0

english, 2013

13

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 6.01 MB

0 / 0

english, 2013